Non-interference相关论文
降密策略静态实施机制具有限制性过强的缺陷：它将降密策略语义条件判定为安全的程序排斥在外。为了建立更加宽容的实施机制,基于自......
干扰问题是列控车载设备中，监测系统和其他安全系统交互时面对的关键问题。基于对现有无干扰技术和模型的研究，运用无干扰的终端安全......
操作系统结构化是目前安全领域的一大难题。以无干扰模型为基础,提出了一种基于分层隔离的进程环境安全模型,给出了进程环境安全的......
基于模糊逻辑理论,文中提出了一种能自动实现前置点导引和无干扰导引的混合导引律。该导引律通过两组误差信号和多目标规则库,使得......
《淮南子》[1]以道为核心思想,认为道是宇宙万物的本原,具有创生性与主宰性,是宇宙万物的总规律。同样,道也是理想的治国之道,以遵......
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表......
降密策略是信息流安全研究的重要挑战之一。目前的研究主要集中在不同维度的定性分析上,缺乏对机密信息降密数量的精确控制,从而导......
